Parallel postulate Totally Explained

Everything about Parallel Postulate totally explained

In geometry, the parallel postulate, also called Euclid's fifth postulate since it's the fifth postulate in Euclid's Elements, is a distinctive axiom in what is now called Euclidean geometry. It states that:

If a line segment intersects two straight lines forming two interior angles on the same side that sum to less than two right angles, then the two lines, if extended indefinitely, meet on that side on which the angles sum to less than two right angles.

Euclidean geometry is the study of geometry that satisfies all of Euclid's axioms, including the parallel postulate. A geometry where the parallel postulate can't hold is known as a non-euclidean geometry. Geometry that's independent of Euclid's fifth postulate (for example, only assumes the first four postulates) is known as absolute geometry (or, in some places, neutral geometry).

Converse of Euclid's parallel postulate

Euclid didn't postulate the converse of his fifth postulate, which is one way to distinguish Euclidean geometry from elliptic geometry. The Elements contains the proof of an equivalent statement (Book I, Proposition 17): Any two angles of a triangle are together less than two right angles. The proof depends on an earlier proposition: In a triangle ABC, the exterior angle at C is greater than either of the interior angles A or B. This in turn depends on Euclid's unstated assumption that two straight lines meet in only one point, a statement not true of elliptic geometry.
In other words, the converse of the fifth postulate follows from Euclid's axioms minus the fifth postulate, plus an axiom stating that two distinct non-parallel straight lines meet in only one point.

Logically equivalent properties

It is often and erroneously asserted that Euclid's parallel postulate is equivalent to Playfair's axiom, named after the Scottish mathematician John Playfair. It states:

Exactly one line can be drawn through any point not on a given line parallel to the given line.

This axiom is actually more powerful than Euclid's parallel postulate, as it assumes that a single parallel line exists. This doesn't follow from Euclid's postulate. In fact, it's possible to develop spherical geometry without contradicting the parallel postulate, as it doesn't assert that the lines won't meet again on the side of the obtuse interior angles. Euclid himself believed he'd shown in his Proposition 1.27 that parallel lines exist independently of the parallel postulate, which would have ruled out spherical geometry. However this proof depends on an implicit assumption made in Proposition 1.16 which Euclid doesn't appear to have recognized. This assumption along with the parallel postulate are together equivalent to Playfair's axiom.
Some of the other statements that are equivalent to the parallel postulate or to Playfair's axiom appear at first to be unrelated to parallelism. Some even seem so self-evident that they were unconsciously assumed by people who claimed to have proven the parallel postulate from Euclid's other postulates. Here are some of these results:

The sum of the angles in every triangle is 180°.
There exists a triangle whose angles add up to 180°.
The sum of the angles is the same for every triangle.
There exists a pair of similar, but not congruent, triangles.
Every triangle can be circumscribed.
If three angles of a quadrilateral are right angles, then the fourth angle is also a right angle.
There exists a quadrilateral of which all angles are right angles.
There exists a pair of straight lines that are at constant distance from each other.
Two lines that are parallel to the same line are also parallel to each other.
Given two parallel lines, any line that intersects one of them also intersects the other.
In a right-angled triangle, the square of the hypotenuse equals the sum of the squares of the other two sides (Pythagoras' Theorem).
There is no upper limit to the area of a triangle. (External Link)

However, the alternatives which employ the word "parallel" cease appearing so simple when one is obliged to explain which of the three common definitions of "parallel" is meant - constant separation, never meeting or same angles where crossed by a third line - since the equivalence of these three is itself one of the unconsciously obvious assumptions equivalent to Euclid's fifth postulate.

History

For two thousand years, many attempts were made to prove the parallel postulate using Euclid's first four postulates. The main reason that such a proof was so highly sought after was that the fifth postulate isn't self-evident unlike the other postulates. If the order the postulates were listed in the Elements is significant, it indicates that Euclid included this postulate only when he realised he couldn't prove it or proceed without it. Omar Khayyám (1050-1123) recognized that three possibilities arose from omitting Euclid's Fifth; if two perpendiculars to one line cross another line, judicious choice of the last can make the internal angles where it meets the two perpendiculars equal (it is then parallel to the first line). If those equal internal angles are right angles, we get Euclid's Fifth; otherwise, they must be either acute or obtuse. He persuaded himself that the acute and obtuse cases lead to contradiction, but had made a tacit assumption equivalent to the fifth to get there. Girolamo Saccheri (1667-1733) pursued the same line of reasoning more thoroughly, correctly obtaining absurdity from the obtuse case (proceeding, like Euclid, from the implicit assumption that lines can be extended indefinitely and have infinite length), but failing to debunk the acute case (although he managed to wrongly persuade himself that he had).
   Where Saccheri and Khayyám had attempted to prove Euclid's fifth by disproving the only possible alternatives, the nineteenth century finally saw mathematicians exploring those alternatives and discovering the logically consistent geometries which result.
   In 1829, Nikolai Ivanovich Lobachevski published an account of acute geometry in an obscure Russian journal (later re-published in 1840 in German).
   In 1831, János Bolyai included, in a book by his father, an appendix describing acute geometry, which, doubtlessly, he'd developed independently of Lobachevski.
   It is probable that Carl Friedrich Gauss had actually studied the problem before that, but if so, he didn't publish any of his results.
   The resulting geometries were later developed by Lobachevsky, Riemann and Poincaré into hyperbolic geometry (the acute case) and spherical geometry (the obtuse case).
   The independence of the parallel postulate from Euclid's other axioms was finally demonstrated by Eugenio Beltrami in 1868.

Criticism

Attempts to logically prove this postulate, rather than the eighth axiom, were criticized by Schopenhauer, as described in Schopenhauer's criticism of the proofs of the Parallel Postulate.

Further Information

Get more info on 'Parallel Postulate'.

External Link Exchanges

Do you know how hard it is to get a link from a large encyclopaedia? Well we're different and will prove it. To get a link from us just add the following HTML to your site on a relevant page:

<a href="http://parallel_postulate.totallyexplained.com">Parallel postulate Totally Explained</a>

Then simply click through this link from your web page. Our crawlers will verify your link, extract the title of your web page and instantly add a link back to it. If you like you can remove the words Totally Explained and embed the link in article text.
As long as your link remains in place, we'll keep our link to you right here. Please play fair - our crawlers are watching. Your site must be closely related to this one's topic. Any kind of spamming, dubious practises or removing the link will result in your link from us being dropped and, potentially, your whole site being banned.